Assembly Code Analysis Using Stochastic Process Algebra
نویسندگان
چکیده
Currently compilers contain a large number of optimisations which are based on a set of heuristics that are not guaranteed to be effective to improve the performance metrics. In this paper, we propose a strategy which allows us the analysis and the choice of the best optimisation, by focusing on the hot part of an assembly code. In our approach, for each optimisation applied, the code of the hot loop is extracted and its dependency graph generated. Finally, and in order to select the best optimisation, the generated graphs are analytically analysed using stochastic process algebra.
منابع مشابه
New Solutions for Fokker-Plank Equation of Special Stochastic Process via Lie Point Symmetries
In this paper Lie symmetry analysis is applied in order to find new solutions for Fokker Plank equation of Ornstein-Uhlenbeck process. This analysis classifies the solutions format of the Fokker Plank equation by using the Lie algebra of the symmetries of our considered stochastic process.
متن کاملNumerical Solution of Heun Equation Via Linear Stochastic Differential Equation
In this paper, we intend to solve special kind of ordinary differential equations which is called Heun equations, by converting to a corresponding stochastic differential equation(S.D.E.). So, we construct a stochastic linear equation system from this equation which its solution is based on computing fundamental matrix of this system and then, this S.D.E. is solved by numerically methods. Moreo...
متن کاملA computational wavelet method for numerical solution of stochastic Volterra-Fredholm integral equations
A Legendre wavelet method is presented for numerical solutions of stochastic Volterra-Fredholm integral equations. The main characteristic of the proposed method is that it reduces stochastic Volterra-Fredholm integral equations into a linear system of equations. Convergence and error analysis of the Legendre wavelets basis are investigated. The efficiency and accuracy of the proposed method wa...
متن کاملFunctional Modelling and Performance Evaluation for Two Class Diffserv Router Using Stochastic Process Algebra
This paper describes the use of stochastic process algebra to model and to evaluate the performance of a two class DiffServ router. This specification is done by means a set of powerful operators of Extended Markovian Process Algebra (EMPA) language, and then studied from the functional and the performance point of view.
متن کاملWilson wavelets for solving nonlinear stochastic integral equations
A new computational method based on Wilson wavelets is proposed for solving a class of nonlinear stochastic It^{o}-Volterra integral equations. To do this a new stochastic operational matrix of It^{o} integration for Wilson wavelets is obtained. Block pulse functions (BPFs) and collocation method are used to generate a process to forming this matrix. Using these basis functions and their operat...
متن کامل